981. Traffic Control and Transport Planning:
المؤلف: by Dušan Teodorović, Katarina Vukadinović.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Civil engineering.,Logic, Symbolic and mathematical.,Mathematics.,Regional economics.
982. Transition to higher mathematics: structure and proof
المؤلف: / Bob A. Dumas, John E. McCarthy
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Logic, Symbolic and mathematical,-- Textbooks
رده :
511
.
3
D886T
2007
983. Translations from the philosophical writings of Gottlob Frege
المؤلف: Frege, Gottlob, 8481-5291
المکتبة: (طهران)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
رده :
BC
135
.
F73T7
1980
984. Trends in mathematics and computational intelligence /
المؤلف: Maria Eugenia Cornejo, Laszlo T. Koczy, Jesus Medina, Antonio Eduardo De Barros Ruano, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational intelligence.,Computational intelligence.
رده :
Q342
.
T74
2019eb
985. Truth, possibility and probability : new logical foundations of probability and statistical inference
المؤلف: Chuaqui, Rolando
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
C58
1991
986. Truth, syntax and modality
المؤلف: / Edited by Hugues Leblanc
المکتبة: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع:
رده :
BC135
،.
C56
1970
987. Truth, syntax and modality
المؤلف: edited by Hugues Leblanc.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Congresses.,Semantics, Congresses.
988. Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics
المؤلف: Conference on Alternative Semantics, 0791, Temple University
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical-- Congresses,، Semantics-- Congresses
رده :
BC
135
.
C56
1970
989. Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics
المؤلف: edited by Hugues Leblanc
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Semantics
رده :
BC
135
.
C56
1970
990. Truth, syntax and modality: proceedings of the Temple University Conference on Alternative semantics
المؤلف: edited by Hugues Leblance
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Semantics
رده :
BC
135
.
C56
1970
991. Two applications of logic to mathematics
المؤلف: Takeuti, Gaisi, 6291-
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
1978
992. Two applications of logic to mathematics
المؤلف: Takeuti, Gaisi
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
993. Uncertainty-Based Information
المؤلف: by George J. Klir, Mark J. Wierman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.,Operations research.
994. Undecidable theories
المؤلف: / by Alfred Tarski
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Metamathematics,Logic, Symbolic and mathematical
رده :
E-BOOK
995. Understanding Wittgenstein's Tractatus /
المؤلف: Pasquale Frascolla.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Wittgenstein, Ludwig,1889-1951., Tractatus logico-philosophicus.,Tractatus logico-philosophicus (Wittgenstein, Ludwig),Language and languages-- Philosophy.,Logic, Symbolic and mathematical.,Metaphysics.,Language and languages-- Philosophy.,Logic, Symbolic and mathematical.,Metaphysics.,PHILOSOPHY-- History & Surveys-- Modern.
رده :
B3376
.
W563
T7332
2007eb
996. Visualization, Explanation and Reasoning Styles in Mathematics
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Science ; Philosophy. ; Visualization. ; Mathematics_$xHistory. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematics, general. ; Visualization. ; History of Mathematics. ; Mathematical Logic and Foundations. ; Philosophy of Scie
997. Visualization, explanation and reasoning styles in mathematics
المؤلف: edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
رده :
QA8
.
6
.
V57
2005
998. Visualization, explanation and reasoning styles in mathematics
المؤلف: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mathematics--Philosophy,Logic, Symbolic and mathematical.,Visualization.
رده :
QA
,
8
.
6
,.
V57
,
2005
999. Visualization, explanation and reasoning styles in mathematics
المؤلف: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
1000. Visualization, explanation and reasoning styles in mathematics
المؤلف: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
